Biblioteca do ISEL

Your cart is empty.

Biblioteca do ISEL

Your search returned 8 results. Subscribe to this search

Unhighlight Highlight
|
Basic proof theory / A. S. Troelstra, H. SchwichtenbergPublication: Cambridge : University Press, 2003Description: XII, 417 p. ; 23 cmAvailability: Items available for loan: [TRO. 510.6] (1).

Place hold Add to cart
Computational intelligence applications to power systems / Yong-Hua Song, Allan Johns, Raj AggarwalPublication: New York : Science Press : Kluwer, 1996Description: 161 p. : il. ; 24 cmAvailability: Items available for loan: [SON. 621.315] (1). Items available for reference: [SON. 621.315] (1).

Place hold Add to cart
Formal methods in artificial intelligence / Allan RamsayPublication: Cambridge : Cambridge University Press, 1991Description: IX, 279 p. : il.Availability: Items available for loan: [RAM. 004.8] (1).

Place hold Add to cart
No cover image available
Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. SiekmannPublication: Oxford : Clarendon, 1996Description: [pag.var] : il.Availability: Items available for loan: [GAB. 004.8] (5).

Place hold Add to cart
Simply logical : intelligent reasoning by example / Peter FlachPublication: Chichester : John Wiley & Sons, 1994Description: XV, 240 p. : il.Availability: Items available for loan: [FLA. 004.8] (1).

Place hold Add to cart
Tabu search / Fred Glover, Manuel LagunaPublication: Boston : Kluwer Academic Publishers, 1997Description: XIX, 382 p. : il. ; 24 cmAvailability: Items available for loan: [GLO. 519.8] (1).

Place hold Add to cart
Statistical language learning / Eugene CharniakPublication: Cambridge : Bradford : MIT, 1997Description: XX, 170 p. : il.Availability: Items available for loan: [CHA. 004.8] (1).

Place hold Add to cart

Informática-ISEL